﻿/*============================================
 * 类名 :OneRecord
 * 描述 :
 *   
 * 创建时间: 2009-11-3 15:05:18
 *============================================*/
using System;
using System.Collections.Generic;

using System.Text;

namespace 命题证明
{
    /// <summary>真取表的一条记录</summary>
    class OneRecord
    {
        /// <summary>二进制表达形式</summary>
        public BinaryNumber Binary { get; set; }
        /// <summary>这个记录的真假值</summary>
        public bool Value { get; set; }

        public OneRecord(BinaryNumber binary, bool value) {
            this.Binary = binary;
            this.Value = value;
        }

    }
}
